метод семантических таблиц

См. также в других словарях:

• АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД —     АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… …   Философская энциклопедия

• БЕТ —     БЕТ (Beth) Эверт Биллем (17 июля 1908, Алмело, Нидерланды 12 апреля 1964, Амстердам) нидерландский философ и логик, ученик Брауэра. В 1933 45 преподаватель Утрехтского университета; с 1946 профессор логики Амстердамского университета, с 1952… …   Философская энциклопедия

• БЕТ (BETH) Эверт Биллем — (1908 1964) нидерл. философ и логик. В 1933 45 преподаватель Утрехтского ун та; с 1946 проф. логики Амстердамского ун та, с 1952 директор Института философии точных наук в Амстердаме. Испытал влияние логического эмпиризма, особенно работ Карнапа… …   Современная западная философия. Энциклопедический словарь

• СЛЕДСТВИЕ —         см. Причина и следствие. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. СЛЕДСТВИЕ …   Философская энциклопедия

• СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ —     СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов.     Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… …   Философская энциклопедия

• Бет Эверт Виллем — (Beth) (1908 1964), голландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику… …   Энциклопедический словарь

• БЕТ (Beth) Эверт Виллем — (1908 64) нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской… …   Большой Энциклопедический словарь

• Проектирование баз данных — процесс создания схемы базы данных и определения необходимых ограничений целостности. Содержание 1 Основные задачи проектирования баз данных …   Википедия

• Жанры научной литературы — – исторически сложившиеся устойчивые типы произведений науч. литературы, обладающие функционально стилевой спецификой и стереотипной композиционно смысловой структурой. Науч. стиль речи реализуется в крупных и малых Ж.н.л. К первым относятся… …   Стилистический энциклопедический словарь русского языка